1. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
Author: edited by D. Bjorner
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
86
2. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
Author: edited by D. Bjorner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
86
3. Baltic computer science : selected papers
Author: J. Barzdins, D. Bjorner, )eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Computer science -- Baltic States
Classification :
QA
76
.
B26
1991
4. Baltic computer science : selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Baltic States
Classification :
QA
76
.
B26
1991
5. Baltic computer science : selected papers
Author: J. Barzdins, D. Bjorner, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Baltic States
Classification :
QA
76
.
L28
Vol
.
502
6. Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming
Classification :
QA
76
.
6
.
F577
1993
7. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
8. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
9. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
10. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
11. Software engineering
Author: / D. Bjorner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering,Computer programming.
Classification :
QA
,
76
.
758
,.
B56
,
2006
12. Software engineering. Domains, Requirements, and Software Design With 100 Figures
Author: Bjorner, D.)Dines(,7391-
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Computer programming
Classification :
QA
76
.
758
.
B56
2006
13. Software engineering 3 : Domains, requirements, and software design
Author: Bjorner, D
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Computer programming
Classification :
QA
76
.
758
.
S6454
2006
14. The Vienna Development Method: the Meta-Languag
Author: / [electronic resource
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject:
15. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Ada )Computer program language(,، Computer input-output equipment
Classification :
QA
76
.
L28
Vol
.
98
16. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
17. Towards an formal description of Ada
Author: Bjorner, Dines, 7391- ed
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
.
B5
18. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
Author: edited by D. Bjorner...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
252
19. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
Author: VDM '78, )7891, Brussels, Belgium(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
Classification :
QA
76
.
L4
v
.
252
20. VDM '90 : VDM and Z : formal methods in software development : Proceedings
Author: D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
428
